Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… … Wikipedia Español
Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés … Wikipedia Español
Demostración inválida — Saltar a navegación, búsqueda En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias. A pesar de que las demostraciones son erróneas, los errores son sutiles, y la mayor parte de las veces, intencionados. Estas… … Wikipedia Español
Demostración — Saltar a navegación, búsqueda Demostración puede referirse a: Demostración matemática Demostración automática Demostración inválida Demostración por inducción Demostración por contraposición Demostración (merchandising) Teoría de la demostración… … Wikipedia Español
Demostración — (Del lat. demostratio, onis.) ► sustantivo femenino 1 Acción de mostrar la verdad o falsedad de una cosa: ■ hizo una demostración impecable de la teoría. SINÓNIMO argumentación 2 Evidencia o indicación de una cosa: ■ los besos son claras… … Enciclopedia Universal
Matemática — Portal:Matemática Saltar a navegación, búsqueda … Wikipedia Español
Demostración por inducción — Saltar a navegación, búsqueda La demostración por inducción es un método de demostración utilizado con frecuencia para comprobar igualdades , se utilizan para ello los números enteros. Se procede como sigue: Sea P(n) una proposición o afirmación… … Wikipedia Español
Demostración de la irracionalidad de π — Saltar a navegación, búsqueda Símbolo del número π, popularizado por Leonhard Euler. Aunque la constante matemática conocida como π (pi) ha sido estudiada desde la antigüedad, y también el concepto de número irracional, no fue sin … Wikipedia Español
Demostración interactiva de teoremas — Saltar a navegación, búsqueda La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre máquina. Esto involucra … Wikipedia Español
Demostración de la irracionalidad de e — Saltar a navegación, búsqueda Artículo principal: Número e En matemática, la representación en serie del número e puede ser usado para probar que e es un número irracional. De las tantas representaciones posibles de e, esta es la serie de Taylor… … Wikipedia Español